Memory safety - PDFSEARCH.IO - Document Search Engine

Memory safety
Results: 222

#	Item
111	Glossary of Terms - Preservation of Records, Knowledge and Memory (RK&M) Across Generations - Definitions as of 3 March 2014 Add to Reading List Source URL: www.oecd-nea.org Language: English - Date: 2014-03-10 04:15:15 Preservation Repository Science Knowledge Archival science Radioactive waste Nuclear safety
112	Dynamic Test Generation To Find Integer Bugs in x86 Binary Linux Programs David Molnar UC Berkeley Xue Cong Li Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2015-01-21 19:48:40 Software engineering Valgrind Integer overflow Infinite loop Memory safety Fuzz testing Stack Pointer Symbolic execution Computer programming Software bugs Computing
113	14401 Keil Road NE, Aurora, Oregon, USA[removed]PHONE[removed]  FAX[removed]  www.vansaircraft.com  [removed] Service Letters and Bulletins: www.vansaircraft.com/public/service.htm NOTIFICATION Add to Reading List Source URL: www.vansaircraft.com Language: English - Date: 2014-06-23 13:22:36 Manufacturing Computer memory Door furniture Latch Norfolk Flip-flop Rivet Safety wire Wire Technology Construction Fasteners
114	Low-Level Linear Memory Management Chris Hawblitzel Edward Wei Heng Huang Add to Reading List Source URL: chrishawblitzel.net Language: English - Date: 2009-01-18 14:58:05 Computer programming Pointer Type safety Type system Struct C++ classes Dynamical system Array data type C Data types Software engineering Computing
115	Device Driver Safety Through a Reference Validation Mechanism ∗ Dan Williams, Patrick Reynolds, Kevin Walsh, Emin G¨un Sirer, Fred B. Schneider Cornell University Abstract Device drivers typically execute in superviso Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 23:18:03 Interrupts Computer memory Direct memory access Motherboard Device driver Memory-mapped I/O Interrupt Microkernel Operating system Computer architecture Computer hardware Computing
116	Effective Dynamic Detection of Alias Analysis Errors Jingyue Wu, Gang Hu, Yang Tang, Junfeng Yang Columbia University, United States {jingyue,ganghu,ty,junfeng}@cs.columbia.edu Add to Reading List Source URL: systems.cs.columbia.edu Language: English - Date: 2013-09-04 15:38:19 Data types Software bugs Primitive types Static program analysis Pointer Compiler construction Alias analysis Aliasing Memory safety Software engineering Computing Computer programming
117	Beyond summarized measures: predictability of specific measures of simulated driving by specific physical and psychological measures in older drivers. Ariane Cuenen¹, Ellen Jongen¹, Tom Brijs, Kris Brijs¹˒², Mark L Add to Reading List Source URL: www.ictct.org Language: English* - Date: 2014-12-22 09:43:28 Neuropsychological tests Transport Intelligence tests Clinical psychology Road safety Wechsler Adult Intelligence Scale Intelligence quotient Working memory Useful field of view Psychological testing Psychology Cognitive tests
118	Region-Based Memory Management in Cyclone ∗ Dan Grossman Michael Hicks Greg Morrisett Trevor Jim† Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2002-04-21 13:06:12 C++ C programming language Data types Type theory Procedural programming languages Cyclone Pointer Type safety Struct Computing Software engineering Computer programming
119	Beyond the PDP-11: Architectural support for a memory-safe C abstract machine David Chisnall Colin Rothwell Robert N. M. Watson Jonathan Woodruff Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-01-28 05:35:17 Data types C++ Primitive types Type theory C programming language Pointer C Type safety Reference Software engineering Computing Computer programming
120	Special Issue on Solutions for Society - Creating a Safer and More Secure Society For the security and safety of critical infrastructure A Water Leak Detection Service Based on Sensors and ICT Solutions Add to Reading List Source URL: www.nec.com Language: English - Date: 2015-01-20 23:46:16 Leak detection Pipelines Water Leak Memory leak NEC Fire hydrant Leak noise correlator Technology Water industry Plumbing